#include<iostream>
#include<cstdio>
using namespace std;
int main(){
    printf("%15d",0xABCDEF);
    return 0;
}
